Homomorphic Mapped Type
from
Mapped Types
制約型が keyof M の形で、かつ 修飾子型 M が型変数のときはHomomorphic Mapped Typesと呼ばれ、さらに特別な動作をします。
ref
https://zenn.dev/uhyo/articles/array-homomorphic-mapped-type
わかりやすい
https://zenn.dev/qnighy/articles/dde3d980b5e386#homomorphic-mapped-types
https://stackoverflow.com/questions/59790508/what-does-homomorphic-mapped-type-mean
こういう形の
Mapped Types
のこと
{ [K in keyof T1]: T2 }
普通の
Mapped Types
にはない特別な挙動をする
以下の3つ？
modifierの引き継ぎ
配列、tuple型の時、
Mapped Tuple Type
union型のとき、union distribution